 |
Your search returned 7 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1998 Volume number : 24 Issue: 11 |
A Strategy For Improving Safety Related Software Engineering Standards
(Article)
Subject:
Standards
,
Iec 1508
,
Safety-Critical
Author:
Norman E.
Fenton
Martin
Neil
page:
1002
-
1013
Performance Analysis Of Stochastic Timed Petri Nets Using Linear Programming Approach
(Article)
Subject:
Performance Bound
,
Throughput Time
,
Uniformity
Author:
Zheng
Liu
page:
1014
-
1030
Managing Conflicts In Goal-Driven Requirements Rngineering
(Article)
Subject:
Goal-Driven Requirements Engineering
,
Divergence
,
Lightest Rotating Rod
Author:
Axel Van
Lamsweerde
Emmanuel
Letier
Robert
Darimont
page:
908
-
926
Using Abstraction And Model Checking To Detect Safety Violations In Requirements Specifications
(Article)
Subject:
Requirements
,
Abstraction
,
Simulation
Author:
Bruce
Labaw
Constance
Heitmeyer
Ramesh
Bharadwaj
page:
927
-
648
Rapid Application Of Lightweight Formal Methods For Consistency Analyses
(Article)
Subject:
Consistency
,
Nasa Engineers
,
Database Change
Author:
Marin S.
Feather
page:
949
-
959
Inconsistency Management For Multiple View Software Development Environments
(Article)
Subject:
Inconsistency Awareness
,
Multiple-Access
,
Integrated Solutions
Author:
John
Grundy
John
Hosking
page:
960
-
981
Tolerating Deviations Inprocess Support Systems Via Flexible Enactment Of Process Models
(Article)
Subject:
Workflow Net
,
Deviation
,
Inconsistencies
Author:
Gianpaolo
Cugola
page:
982
-
1001
|
|
| | |
